Time-delay interferometric ranging for LISA: Statistical analysis of bias-free ranging using laser noise minimization

Die Laser Interferometer Space Antenna (LISA) ist eine Mission der europäischen Weltraumagentur (ESA) zur Detektion von Gravitationswellen im Frequenzbereich zwischen 10^-4 Hz und 1 Hz. Gravitationswellen induzieren relative Abstandsänderungen, die LISA mithilfe von Laserinterferometrie mit Picometerpräzision misst. Ein großes Problem hierbei ist das Frequenzrauschen der Laser. Um dieses zu unterdrücken, ist es notwendig, mithilfe eines Algorithmus namens TDI (engl. time-delay interferometry), virtuelle Interferometer mit gleichlangen Armen zu konstruieren, wie z.B. das klassische Michelson-Interferometer. In dieser Arbeit untersuchen wir die Performanz von TDI unter realistischen Bedingungen und identifizieren verschiedene Kopplungsmechanismen des Laserfrequenzrauschens. Als erstes betrachten wir die Datenverarbeitung an Bord der Satelliten, die benötigt wird, um die Abtastrate der interferometrischen Messungen zu reduzieren. Hierfür sind Anti-Alias-Filter vorgesehen, die der Faltung von Laserrauschleistung in das Beobachtungsband vorbeugen. Außerdem wirkt sich die Ebenheit der Filter auf die Effektivität von TDI aus (engl. flexing-filtering-effect). Dieser Effekt ist bereits in der Literatur beschrieben und wir demonstrieren in dieser Arbeit die Möglichkeit, ihn mithilfe von Kompensationsfiltern effektiv zu reduzieren. Als zweites betrachten wir Kopplungsmechanismen von Laserfrequenzrauschen im TDI-Algorithmus selbst. Fehler in der Interpolation der interferometrischen Messungen und Ungenauigkeiten in den absoluten Abstandsmessungen zwischen den Satelliten führen ebenfalls zu einer unzureichenden Reduzierung des Laserfrequenzrauschens. Wir beschreiben die oben genannten Kopplungsmechanismen analytisch und validieren die zugrundeliegenden Modelle mithilfe von numerischen Simulationen. Das tiefere Verständnis dieser Residuen ermöglicht es uns, geeignete instrumentelle Parameter zu wählen, die von hoher Relevanz für das Missionsdesign von LISA sind. Des Weiteren beschäftigen wir uns in dieser Arbeit mit der möglichst genauen Bestimmung der absoluten Abständen zwischen den Satelliten, die für den TDI Algorithmus erforderlich sind. Hierfür werden die Abstandsinformationen aus den Seitenbändern und der PRN-Modulation (engl. pseudo-random noise) kombiniert. Wir zeigen, dass die PRN-Messung von systematischen Verzerrungen betroffen ist, die zu Laserrauschresiduen in den TDI-Variablen führen. Um diesen Fehler zu korrigieren, schlagen wir als zusätzliche Abstandsmessung TDI-Ranging (TDI-R) vor. TDI-R ist zwar ungenauer, aber frei von systematischen Verzerrungen und kann daher zur Kalibrierung der PRN-Messungen herangezogen werden. Wir präsentieren in dieser Arbeit eine ausführliche statistische Studie, um die Performanz von TDI-R zu charakterisieren. Dafür formulieren wir die Likelihood-Funktion der interferometrischen Messungen und berechnen die Fisher-Informationsmatrix, um die theoretisch mögliche untere Grenze der Schätzvarianz zu finden. Diese verhält sich invers proportional zur Integrationszeit und dem Verhältnis von Sekundärrauschleistung, die die interferometrische Messung fundamental limitiert, und Laserrauschleistung. Zusätzlich validieren wir die analytische untere Grenze der Schätzvarianz mithilfe von numerischen Simulationen und zeigen damit, dass unsere Implementierung von TDI-R optimal ist. Der entwickelte TDI-R-Algorithmus wird Teil der Datenverarbeitungspipeline sein und Konsistenzprüfungen und Kalibrierung der primären Abstandsmessmethoden ermöglichen.The Laser Interferometer Space Antenna (LISA) is a future ESA-led space-based observatory to explore the gravitational universe in the frequency band between 10^-4 Hz and 1 Hz. LISA implements picometer-precise inter-satellite ranging to measure tiny ripples in spacetime induced by gravitational waves (GWs). However, the single-link measurements are dominated by laser frequency noise, which is about nine orders of magnitude larger than the GW signals. Therefore, in post-processing, the time-delay interferometry (TDI) algorithm is used to synthesize virtual equal-arm interferometers to suppress laser frequency noise. In this work we identify several laser frequency noise coupling channels that limit the performance of TDI. First, the on-board processing, which is used to decimate the sampling rate from tens of megahertz down to the telemetry rate of a few hertz, requires careful design. Appropriate anti-aliasing filters must be implemented to mitigate folding of laser noise power into the observation band. Furthermore, the flatness of these filters is important to limit the impact of the flexing-filtering effect. We demonstrate that this effect can be effectively reduced by using compensation filters on ground. Second, the post-processing delays applied in TDI are subject to interpolation and ranging errors. We study these laser and timing noise residuals analytically and perform simulations to validate the models numerically. Our findings have direct implications for the design of the LISA instrument as we identify the instrumental parameters that are essential for successful laser noise suppression and provide methods for designing appropriate filters for the on-board processing. In addition, we discuss a dedicated ranging processing pipeline that produces high-precision range estimates that are the input for TDI by combining the sideband and pseudo-random noise (PRN) ranges. We show in this thesis that biases in the PRN measurements limit the laser noise suppression performance. Therefore, we propose time-delay interferometric ranging (TDI-R) as a third ranging sensor to estimate bias-free ranges that can be used to calibrate the biases in the PRN measurements. We present a thorough statistical study of TDI-R to evaluate its performance. Therefore, we formulate the likelihood function of the interferometric data and use the Fisher information formalism to find a lower bound on the estimation variance of the inter-satellite ranges. We find that the ranging uncertainty is proportional to the inverse of the integration time and the ratio of secondary noise power, that limits the interferometric readout, to the laser noise power. To validate our findings we implement prototype TDI-R pipelines and perform numerical simulations. We show that we are able to formulate optimal estimators of the unbiased range that reach the Cramér-Rao lower bound previously expressed analytically. The developed TDI-R pipeline will be integrated into the ranging processing pipeline to perform consistency checks and ensure well-calibrated inter-satellite ranges

Resonators for hybrid superconductor-atom spin systems

Koplanare Mikrowellen-Resonatoren aus supraleitenden Dünnfilmen stellen einen zentralen Baustein der Quanten-Elektrodynamik mit integrierten Schaltkreisen dar (engl. circuit quantum electrodynamics, kurz cQED), in der die fundamentale Wechselwirkung von Mikrowellen-Photonen mit künstlichen Atomen aus supraleitenden Bauelementen untersucht wird. Aufgrund der guten Kontrolle, der selektiven Ansteuerung und der Skalierbarkeit supraleitender Quanten-Bits, kurz Qubits, sind diese stark gekoppelten Systeme, bestehend aus supraleitenden Mikrowellen-Resonatoren und supraleitenden Qubits, aussichtsreiche Kandidaten für die Realisierung einer Quanten-Technologie, die geeignet ist, Quanten-Information unter Benutzung höchst effizienter Algorithmen zu verarbeiten und damit ihre klassischen Gegenstücke zu übertreffen. Aufgrund der geringen Kohärenzzeiten supraleitender Qubits von etwa 100 µs ist jedoch die Rechenzeit eines solchen Quantencomputers beschränkt. Um diese Einschränkungen zu überwinden, wurde eine Vielzahl hybrider Quantensysteme vorgeschlagen, die die Vorteile verschiedener Quantensysteme vereinen. Die vorliegende Arbeit beschäftigt sich mit verschiedenen Aspekten zur Realisierung eines hybriden Quanten-Systems bestehend aus integrierten supraleitenden Schaltkreisen und langlebigen ultrakalten Rubidium Atomwolken in den magnetischen Grundzuständen. Einerseits haben diese kalten Atomwolken in der Nähe eines supraleitenden Resonators Kohärenzzeiten auf der Sekundenskala und fungieren folglich im Rahmen der hybriden Architektur als Quanten-Speicher. Andererseits ermöglicht die starke Kopplung zwischen supraleitenden Qubits und koplanaren Resonatoren schnelle Rechenprozesse, weshalb supraleitende Qubits als Quanten-Prozessoren dienen. Aufgrund des starren Energie-Spektrums von kalten Grundzustands-Atomen in einer Magnetfalle ist ein in der Resonanzfrequenz durchstimmbarer Resonator von enormem Vorteil hinsichtlich des Erzeugens resonanter Wechselwirkung. Deshalb werden im Rahmen der Arbeit mehrere Konzepte entwickelt und diskutiert, die eine solche Durchstimmbarkeit erlauben. Dabei wird zunächst auf zwei Konzepte eingegangen, die für Experimente bei einer Temperatur von etwa 4 K geeignet sind. Das erste Konzept nutzt das nicht-lineare Dielektrikum Strontium-Titanat als Teil eines induktiv gekoppelten Halbwellen-Resonators mit diskretem nicht-linearen Kondensator aus. Im Rahmen der Arbeit wurde ein theoretisches Modell entwickelt, das die Bestimmung der komplexwertigen dielektrischen Funktion von Strontium-Titanat erlaubt, wodurch ein gezielter Einsatz des nicht-linearen Dielektrikums in zukünftigen Proben ermöglicht wird. Die Frequenz konnte dabei, abhängig vom Proben-Design, um 10-50 MHz verstimmt werden, während die Güte-Faktoren mit mehreren 1000 stets relativ groß waren. Der zweite Mechanismus zum Durchstimmen der Resonanzfrequenz war das Ausnutzen der stark temperaturabhängigen kinetischen Induktivität des Supraleiters Niob (kritische Temperatur 9.2 K) für TemperaturenT>4 K. Dabei konnte die Resonanzfrequenz um 100 MHz verändert werden. Aufgrund der einfacheren experimentellen Realisierung wurde das zweite Konzept ausgenutzt, um sowohl die resonante, als auch die nicht-resonante Wechselwirkung zwischen ultrakalten Rubidium Grundzustands-Atomen mit dem Strahlungsfeld eines Resonators zu untersuchen. Für Experimente bei mK-Temperaturen wurde ein Zwei-Chip Ansatz verfolgt, der das Stapeln zweier Substrate mit supraleitenden Dünnfilmen vorsieht. Der untere Chip enthält dabei einen koplanaren Wellenleiter für Mikrowellen, während der obere Chip einen Mikrowellen-Resonator aus einem Interdigitalkondensator und einer Induktivitäts-Schleife enthält. Ein theoretisches Modell wurde zusammen mit Simulationen der relevanten Schaltkreis-Parameter verwendet, um das Verhalten eines Resonators beim Verschieben des Resonator-Chips gegenüber dem unteren Wellenleiter-Chip vorherzusagen. Der Vergleich mit experimentellen Ergebnissen ist exzellent und zeigt eine Durchstimmbarkeit von etwa 25 MHz. In Abgrenzung zu anderen Konzepten der Durchstimmbarkeit führt das Verwenden dieses Konzepts nicht zu einer Reduktion des Güte-Faktors. Im letzten Teil der Arbeit wird die Entwicklung eines Probenhalters vorgestellt, der die Realisierung eines hybriden Quantensystems bei mK-Temperaturen ermöglichen soll. Dieser enthält unter anderem integrierte Bias-T-Chips, die aus Supraleitern bestehen und mit deren Hilfe sowohl Mikrowellen, als auch Gleichströme in die Probe eingespeist werden können, ohne eine signifikante Menge an Wärme zu generieren

Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis

In this paper, we present our new worst-case execution time (WCET) analysis tool for Java processors, supporting both implicit path enumeration (IPET) and model checking based execution time estimation. Even though model checking is significantly more expensive than IPET, it simplifies accurate modeling of pipelines and caches. Experimental results using the UPPAAL model checker indicate that model checking is fast enough for typical tasks in embedded applications, though large loop bounds may lead to long analysis times. To obtain a tool which is able to cope with larger applications, we recommend to use model checking for more important code fragments, and combine it with the IPET approach

Excitonic Stark effect in MoS2_2 monolayers

We theoretically investigate excitons in MoS$_2$ monolayers in an applied in-plane electric field. Tight-binding and Bethe-Salpeter equation calculations predict a quadratic Stark shift, of the order of a few meV for fields of 10 V/$\mu$m, in the linear absorption spectra. The spectral weight of the main exciton peaks decreases by a few percent with an increasing electric field due to the exciton field ionization into free carriers as reflected in the exciton wave functions. Subpicosecond exciton decay lifetimes at fields of a few tens of V/$\mu$m could be utilized in solar energy harvesting and photodetection. We find simple scaling relations of the exciton binding, radius, and oscillator strength with the dielectric environment and an electric field, which provides a path to engineering the MoS$_2$ electro-optical response.Comment: 9 pages, 7 figure